Nuprl Definition : es-prior-interface
11,40
postcript
pdf
prior(
X
) == last(
e
.
e
X
)
latex
clarification:
es-prior-interface{i:l}(
es
;
X
) == es-local-pred{i:l}(
es
; (
e
.
e
X
))
latex
Definitions
last(
P
)
,
x
.
A
(
x
)
,
e
X
FDL editor aliases
es-prior-interface
origin
e.e 
X)
e.e X)) e.e X)
e.e X)) x.A(x) X